1. Abstract state machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
Author: / Edited by Michael Butler... [et al.].
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Machine learning -- Congresses.,Machine theory -- Congresses.,Machine learning.,Machine theory.,Computing Methodologies.,Machine learning, Machine theory, Computing Methodologies.
